The 2016 Alonzo Church Award for Outstanding Contributions to Logic and Computation The 2016 Alonzo Church Award for Outstanding Contributions to Logic and Computation is given to Rajeev Alur and David Dill for their inv

Source URL: eacsl.kahle.ch

• Theoretical computer science
• Rajeev Alur
• Logic in computer science
• Symposium on Logic in Computer Science
• Automata
• Hybrid automaton
• Formal languages
• Timed automaton

Certificates and Separation Logic Martin Nordio1 , Cristiano Calcagno2 , and Bertrand Meyer1 1 2

Source URL: se.inf.ethz.ch

• Logic
• Theoretical computer science
• Mathematical logic
• Logic in computer science
• Java bytecode
• Hoare logic
• Interpretation
• Separation logic
• Bytecode
• Model theory

Applying Search in an Automatic Contract-Based Testing Tool Alexey Kolesnichenko, Christopher M. Poskitt, and Bertrand Meyer ETH Z¨ urich, Switzerland

Source URL: se.inf.ethz.ch

• Software engineering
• Software testing
• Computing
• Theoretical computer science
• Formal methods
• Logic in computer science
• Object-oriented programming
• Postcondition
• Random testing
• Eiffel
• General-purpose computing on graphics processing units
• Test data generation

B.S. in Computational Linguistics Students must complete the College of Arts and Sciences Education (CASE) requirements. B.S./M.S. coursework can count towards the Social and Historical Studies and Natural and Mathematic

Source URL: cl.indiana.edu

• Cognitive science
• Formal sciences
• Artificial intelligence
• Computer science education
• Informatics
• Information science
• Computer science
• Logic
• Computational linguistics

Building and Environment, Vol. 26, No. 1, pp, 91 $3.00+0.00 Pergamon Press plc. Printed in Great Britain.

Source URL: www.kmjn.org

• Engineering
• Computer-aided design
• Design engineering
• Conceptual model
• Representation theory
• Academia
• Mathematical model
• 3D modeling
• Logic programming
• User interface
• Duality
• Science and technology

Inferring Programmer Intent and Related Errors from Software By MARK GREGORY GABEL B.S. (California Polytechnic State University, San Luis ObispoM.S. (California Polytechnic State University, San Luis Obispo) 2006

Source URL: web.cs.ucdavis.edu

• Theoretical computer science
• Technology
• Computing
• Product development
• Formal methods
• Logic in computer science
• Science and technology
• Formal verification
• Software development
• Software testing
• Oracle
• Software bug

Notre Dame Journal of Formal Logic Volume 50, Number 1, 2009 Factorization of the Shoenfield-like Bounded Functional Interpretation Jaime Gaspar

Source URL: jg.sdf.org

• Mathematics
• Mathematical logic
• Logic
• Logic in computer science
• Constructible universe
• Peano axioms
• Factorization
• Algebraic logic
• Dialectica interpretation
• Combinatory logic

A Conceptual Framework for Human Decision Making within Agent Based Models D.J. Miron CSIRO Livestock Industries, Australia

Source URL: necsi.edu

• Logic
• Philosophy
• Fuzzy logic
• Artificial intelligence
• Mathematical logic
• Logic in computer science
• Knowledge representation
• Fuzzy set
• Concept
• Bernard Lonergan
• Framing
• Fuzzy concept

Reasoning in the SHOQ(Dn ) Description Logic Jeff Z. Pan and Ian Horrocks Information Management Group Department of Computer Science University of Manchester Oxford Road, Manchester M13 9PL, UK

Source URL: www.cs.man.ac.uk

Javanni: A Verifier for JavaScript Martin Nordio1 , Cristiano Calcagno2 , and Carlo A. Furia1 1 2

Source URL: se.inf.ethz.ch

• Software engineering
• Computer programming
• Computing
• Compiler optimizations
• Cross-platform software
• Scripting languages
• Logic in computer science
• JavaScript
• Separation logic
• Inline expansion
• Correctness
• Loop unrolling